#teorema de anulación de grothendieck

Sorries no son lo difícil: revisión experta en formalización semiautónoma

Descubre cómo la revisión experta reveló graves problemas en una formalización semiautónoma de un teorema clave, más allá de los 'sorries'.